functional calculus
noun
1.
the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers.
Also called
predicate calculus
,
predicate logic
.
Origin
1930-35
British Dictionary definitions for
functional calculus
functional calculus
noun
1.
another name for
predicate calculus